#include <unistd.h>
#include <sys/reboot.h>

int main(int argc, char **argv)
{
       (void) reboot(RB_AUTOBOOT);
}

